1. Normalization, cut-elimination, and the theory of proofs /

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Proof theory.,Beweistheorie,Bewijstheorie.,Proof theory.,Proof theory.

رده :
QA9
.
54
.
U54
1992